More from this Author
Found 6 books by Yamine Ait Ameur (Editor)
Model and Data Engineering
by Yamine Ait Ameur (Editor), Ladjel Bellatreche (Editor), George A. Papadopoulos (Editor)
ABZ 2014: the Landing Gear Case Study
by Frederic Boniol (Editor), Virginie Wiels (Editor), Yamine Ait Ameur (Editor), Klaus-Dieter Schewe (Editor)
Abstract State Machines, Alloy, B, TLA, VDM, and Z
by Yamine Ait Ameur (Editor), Klaus-Dieter Schewe (Editor)
Abstract State Machines, Alloy, B, TLA, VDM, and Z
by Yamine Ait Ameur (Editor), Klaus-Dieter Schewe (Editor)
Model and Data Engineering
by Yamine Ait Ameur (Editor), Ladjel Bellatreche (Editor), George A. Papadopoulos (Editor)
ABZ 2014: the Landing Gear Case Study
by Frederic Boniol (Editor), Virginie Wiels (Editor), Yamine Ait Ameur (Editor), Klaus-Dieter Schewe (Editor)